Ильев А. В. «Аксиоматизируемость и разрешимость универсальных теорий наследственных классов моделей конечных и бесконечных языков» // Прикладная дискретная математика 2024. №66 C.14-29
Рыбалов А. Н. «О сложности экзистенциальной и универсальной теорий конечных полей» // Прикладная дискретная математика 2019. №45 C.85-89